CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Model Checking
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
$4.43 (Save 93%)
2.
Tools and Algorithms for the Construction and Analysis of Systems 13th International Confere...
Tools and Algorithms for the Construction and Analysis of Systems 13th International Confere... by Grumberg, Orna, Huth, Michael ISBN: 9783540712084 List Price: $129.00
$103.17 (Save 20%)
3.
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His...
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His... by Grumberg, Orna, Kaminski, M... ISBN: 9783642017476 List Price: $59.95
$51.31 (Save 14%)
4.
Model Checking
Model Checking by Clarke, Edmund M., Jr., Gru... ISBN: 9780262038836 List Price: $75.00

OUT OF STOCK

See Availability on Amazon Own it? Sell it back for $7.79
5.
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Secur...
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Secur... by Orna Grumberg ISBN: 9781586038434 List Price: $161.00

OUT OF STOCK

See Availability on Amazon
6.
Computer Aided Verification
Computer Aided Verification by Grumberg, Orna ISBN: 9783662206973 List Price: $24.99

OUT OF STOCK

See Availability on Amazon